منابع مشابه
Stable Modal Logics
We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...
متن کاملMonotonic Modal Logics
Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...
متن کاملAutoepistemic Modal Logics
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. Almost immediately some disadvantages of that approach were pointed out. Robert Moore (1983) proposed his atltoepistemic logic, which overcomes these difficulties. Later, some authors (Kurt Konolige, Paul Morris and others) found peculiarities of different kinds in Moore's logic and proposed rathe...
متن کاملParaconsistent Modal Logics
We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twist-structures, generalizing a known result ...
متن کاملModal Logics for Coalgebras
This presentation is to introduce basic notions and recent results on an approach to specify behaviors of coalgebras by means of modal logics, based on the lecture by Dirk Pattinson (Pattinson, 2003) in NASSLLI 2003.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2018
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020317000375